A canonical form and the distribution of values of generalized polynomials

Generalized polynomials are functions obtained from conventional polynomials by applying the operations of taking the integer part, addition, and multiplication. We construct a system of “basic” generalized polynomials with the property that any bounded generalized polynomial is representable as a piecewise polynomial function of these basic ones. Such a representation is unique up to a function vanishing almost everywhere, which solves the problem of determining whether two generalized polynomials are equal a.e. The basic generalized polynomials are jointly equidistributed, thus we also obtain an effective algorithm of finding the limiting distribution of values of one or several generalized polynomials.